Data Science at the Defense Personnel and Security Research Center

Naval Postgraduate School Acquisition Research Progra

Reproductive Life History of \u3ci\u3eFundulus jenkensi\u3c/i\u3e and Comparative Development of Five Sympatric Fundulid Species

Fundulus jenkinsi is recognized federally and within the state of Mississippi as a Species of Concern. Little is known about the life history of this coastal killifish, but a detailed reproductive histology study of F. jenkinsi and a diagnostic key of the early life stages of select members of Fundulidae can provide the foundation needed to accurately identify it and quantify reproductive parameters in this rare species in need of conservation. Monthly gonadosomatic index (GSI) of male and female F. jenkinsi were documented, and spawning phases and oocyte stages were examined using reproductive histology. In addition, various stages of coastal Fundulus spp. and Adinia xenica have been illustrated and their morphometrics and meristics recorded. While GSI indicated a F. jenkinsi spawning season from April through August, the ovarian histology suggested March through August was a more accurate season. The composition of the ovaries also suggested spawns occur multiple times in a single tidal cycle within a population and on the individual level. The diagnostic key reveals that branchiostegal rays are essential to separate young fundulids into two groups that can then be identified by pigment patterns and morphometrics. This work contributes an estimation of F. jenkinsi spawning frequency and an early development diagnostic key that allows for accurate identification of young fundulid species

Test du processus de Poisson homogène par la statistique de Ripley

International audienceLa statistique de Ripley a été introduite pour mesurer l'agrégation des points d'un processus ponctuel. Elle a été très fréquemment utilisée notamment par les écologues, mais peu de résultats théoriques ont été obtenus; nous étudions les propriétés (biais, variance) de cet estimateur sous l'hypothèse d'un processus de Poisson homogène et prouvons un théorème de la limite centrale lorsque les données sont obtenues sur un carré de taille nxn avec n tendant vers l'infini. Nous en déduisons un test asymptotiquement gaussien de l'hypothèse de processus de Poisson homogène

Interglacial and glacial variability from the last 800 ka in marine, ice and terrestrial archives

We have compiled 37 ice, marine and terrestrial palaeoclimate records covering the last 800 000 years in order to assess the pattern of glacial and interglacial strength, and termination amplitude. Records were selected based on their length, completeness and resolution, and their age models were updated, where required, by alignment to the LR04 benthic delta(18)O stack. The resulting compilation allows comparison of individual glacial to interglacial transitions with confidence, but the level of synchronisation is inadequate for discussion of temporal phasing. The comparison of interglacials and glacials concentrates on the peaks immediately before and after terminations; particularly strong and weak glacials and interglacials have been identified. This confirms that strong interglacials are confined to the last 450 ka, and that this is a globally robust pattern; however weak interglacials (i.e. marine isotope stage 7) can still occur in this later period. Strong glacial periods are also concentrated in the recent half of the records, although marine isotope stage 16 is strong in many delta(18)O records. Strong interglacials, particularly in the marine isotopic records, tend to follow strong glacials, suggesting that we should not expect interglacial strength to be strongly influenced by the instantaneous astronomical forcing. Many interglacials have a complex structure, with multiple peaks and troughs whose origin needs to be understood. However this compilation emphasises the under-representation of terrestrial environments and highlights the need for long palaeoclimate records from these areas. The main result of this work is the compiled datasets and maps of interglacial strength which provide a target for modelling studies and for conceptual understanding

Interhemispheric coupling, the West Antarctic Ice Sheet and warm Antarctic interglacials

Ice core evidence indicates that even though atmospheric CO2 concentrations did not exceed 300 ppm at any point during the last 800 000 years, East Antarctica was at least 3–4 C warmer than preindustrial (CO2 280 ppm) in each of the last four interglacials. During the previous three interglacials, this anomalous warming was short lived (3000 years) and apparently occurred before the completion of Northern Hemisphere deglaciation. Hereafter, we refer to these periods as “Warmer than Present Transients” (WPTs). We present a series of experiments to investigate the impact of deglacial meltwater on the Atlantic Meridional Overturning Circulation (AMOC) and Antarctic temperature. It is well known that a slowed AMOC would increase southern sea surface temperature (SST) through the bipolar seesaw and observational data suggests that the AMOC remained weak throughout the terminations precedingWPTs, strengthening rapidly at a time which coincides closely with peak Antarctic temperature. We present two 800 kyr transient simulations using the Intermediate Complexity model GENIE-1 which demonstrate that meltwater forcing generates transient southern warming that is consistent with the timing of WPTs, but is not sufficient (in this single parameterisation) to reproduce the magnitude of observed warmth. In order to investigate model and boundary condition uncertainty, we present three ensembles of transient GENIE-1 simulations across Termination II (135 000 to 124 000 BP) and three snapshot HadCM3 simulations at 130 000 BP. Only with consideration of the possible feedback of West Antarctic Ice Sheet (WAIS) retreat does it become possible to simulate the magnitude of observed warming

Formal Modeling and Verification of GALS Systems Using GRL and CADP

The GALS (Globally Asynchronous, Locally Synchronous) paradigm is a prevalent approach to design distributed synchronous subsystems that communicate with each other asynchronously. The design of GALS systems is tedious and error-prone due to the complexity of architectures and high synchronous and asynchronous concurrency involved. This paper proposes a model-based approach to formally verify such systems. Specifications are written in GRL (GALS Representation Language), dedicated to model GALS systems with homogeneous syntax and formal semantics. We present a translation from GRL to LNT, a value-passing process algebra with imperative flavour. The translation is automated by means of the GRL2LNT tool, making possible the analysis of GRL specifications using the CADP toolbox. We illustrate our approach with an access management system for smart parking based on distributed software systems embedded in programmable logic controllers

Formal Modeling and Verification of GALS Systems Using GRL and CADP

The GALS (Globally Asynchronous, Locally Synchronous) paradigm is a prevalent approach to design distributed synchronous subsystems that communicate with each other asynchronously. The design of GALS systems is tedious and error-prone due to the complexity of architectures and high synchronous and asynchronous concurrency involved. This paper proposes a model-based approach to formally verify such systems. Specifications are written in GRL (GALS Representation Language), dedicated to model GALS systems with homogeneous syntax and formal semantics. We present a translation from GRL to LNT, a value-passing process algebra with imperative flavour. The translation is automated by means of the GRL2LNT tool, making possible the analysis of GRL specifications using the CADP toolbox. We illustrate our approach with an access management system for smart parking based on distributed software systems embedded in programmable logic controllers

A Supercharacter Analogue for Normality

Diaconis and Isaacs define a supercharacter theory for algebra groups over a finite field by constructing certain unions of conjugacy classes called superclasses and certain reducible characters called supercharacters. This work investigates the properties of algebra subgroups $H\subset G$ which are unions of some set of the superclasses of $G$; we call such subgroups supernormal. After giving a few useful equivalent formulations of this definition, we show that products of supernormal subgroups are supernormal and that all normal pattern subgroups are supernormal. We then classify the set of supernormal subgroups of $U_n(q)$, the group of unipotent upper triangular matrices over the finite field \FF_q, and provide a formula for the number of such subgroups when $q$ is prime. Following this, we give supercharacter analogues for Clifford's theorem and Mackey's "method of little groups." Specifically, we show that a supercharacter restricted to a supernormal subgroup decomposes as a sum of supercharacters with the same degree and multiplicity. We then describe how the supercharacters of an algebra group of the form U_\fkn = U_\fkh \ltimes U_\fka, where U_\fka is supernormal and \fka^2=0, are parametrized by U_\fkh-orbits of the supercharacters of U_\fka and the supercharacters of the stabilizer subgroups of these orbits.Comment: 35 page

Tools to Characterize Point Patterns: dbmss for R

The dbmss package for R provides an easy-to-use toolbox to characterize the spatial structure of point patterns. Our contribution presents the state of the art of distance-based methods employed in economic geography and which are also used in ecology. Topographic functions such as Ripley's K, absolute functions such as Duranton and Overman's Kd and relative functions such as Marcon and Puech's M are implemented. Their confidence envelopes (including global ones) and tests against counterfactuals are included in the package